De Bruijn Factor
de Bruijn Factor
デ・ブルージン因子?
形式的な数学的証明を書くことがどれだけ難しいかを示す尺度
De Bruijn Factor - Wikipedia
de Bruijn factor
The De Bruijn Factor
#形式手法